[next] [prev] [prev-tail] [tail] [up]

2.2.10 Integrals 901 to 1000

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 901

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 146 82 123 209 372 126 389

N.S.

1 1.00 1.51 0.85 1.27 2.15 3.84 1.30 4.01

time (sec)

N/A 0.117 0.065 0.041 0.522 0.369 20.615 4.374 4.870

Problem 902

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 144 101 0 603 105 512 1097

N.S.

1 1.00 1.26 0.89 0.00 5.29 0.92 4.49 9.62

time (sec)

N/A 0.125 0.060 0.035 0.000 0.366 0.781 6.132 4.791

Problem 903

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 128 96 0 267 44 199 216

N.S.

1 1.00 1.17 0.88 0.00 2.45 0.40 1.83 1.98

time (sec)

N/A 0.035 0.069 0.037 0.000 0.361 0.269 4.289 0.297

Problem 904

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 105 74 0 553 63 299 322

N.S.

1 1.00 0.96 0.68 0.00 5.07 0.58 2.74 2.95

time (sec)

N/A 0.036 0.041 0.023 0.000 0.352 0.468 5.744 5.779

Problem 905

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 143 119 0 1612 134 698 2774

N.S.

1 1.00 1.18 0.98 0.00 13.32 1.11 5.77 22.93

time (sec)

N/A 0.079 0.100 0.033 0.000 0.363 2.173 7.882 5.116

Problem 906

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 62 62 58 157 144 58 302

N.S.

1 1.00 0.90 0.90 0.84 2.28 2.09 0.84 4.38

time (sec)

N/A 0.052 0.028 0.034 0.498 0.364 0.641 6.550 0.180

Problem 907

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 49 47 42 131 117 42 85

N.S.

1 1.00 0.91 0.87 0.78 2.43 2.17 0.78 1.57

time (sec)

N/A 0.033 0.013 0.024 0.489 0.378 0.309 5.185 0.086

Problem 908

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 31 26 21 91 60 21 24

N.S.

1 1.00 1.00 0.84 0.68 2.94 1.94 0.68 0.77

time (sec)

N/A 0.019 0.006 0.018 0.509 0.348 0.146 2.557 0.051

Problem 909

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 105 63 61 147 194 61 71

N.S.

1 1.00 1.52 0.91 0.88 2.13 2.81 0.88 1.03

time (sec)

N/A 0.047 0.039 0.025 0.480 0.363 2.517 2.552 4.641

Problem 910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 163 75 104 208 386 125 2500

N.S.

1 1.00 1.83 0.84 1.17 2.34 4.34 1.40 28.09

time (sec)

N/A 0.093 0.066 0.034 0.495 0.370 20.467 3.325 7.390

Problem 911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

432 432 164 777 0 615 105 533 1147

N.S.

1 1.00 0.38 1.80 0.00 1.42 0.24 1.23 2.66

time (sec)

N/A 0.591 0.067 0.098 0.000 0.352 0.776 3.705 4.650

Problem 912

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

331 331 143 339 0 279 44 203 222

N.S.

1 1.00 0.43 1.02 0.00 0.84 0.13 0.61 0.67

time (sec)

N/A 0.179 0.077 0.054 0.000 0.346 0.257 3.443 0.283

Problem 913

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

359 359 119 499 0 567 63 307 986

N.S.

1 1.00 0.33 1.39 0.00 1.58 0.18 0.86 2.75

time (sec)

N/A 0.183 0.044 0.064 0.000 0.338 0.449 3.860 5.157

Problem 914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

433 433 174 1262 0 1582 134 742 2848

N.S.

1 1.00 0.40 2.91 0.00 3.65 0.31 1.71 6.58

time (sec)

N/A 0.369 0.104 0.071 0.000 0.373 2.107 3.388 5.274

Problem 915

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 20 19 18 18 26 18 20

N.S.

1 1.00 1.00 0.95 0.90 0.90 1.30 0.90 1.00

time (sec)

N/A 0.015 0.005 0.016 0.486 0.345 0.031 2.774 0.057

Problem 916

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 14 11 10 10 10 10 10

N.S.

1 1.00 1.00 0.79 0.71 0.71 0.71 0.71 0.71

time (sec)

N/A 0.011 0.005 0.013 0.502 0.368 0.028 4.165 0.059

Problem 917

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 23 19 18 18 20 18 18

N.S.

1 1.00 1.00 0.83 0.78 0.78 0.87 0.78 0.78

time (sec)

N/A 0.008 0.010 0.023 0.485 0.367 0.050 4.092 4.368

Problem 918

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 94 69 0 163 63 56 44

N.S.

1 1.00 1.27 0.93 0.00 2.20 0.85 0.76 0.59

time (sec)

N/A 0.036 0.091 0.026 0.000 0.386 0.073 3.701 0.082

Problem 919

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

188 188 39 168 0 240 24 147 101

N.S.

1 1.00 0.21 0.89 0.00 1.28 0.13 0.78 0.54

time (sec)

N/A 0.124 0.021 0.050 0.000 0.387 0.280 5.024 4.371

Problem 920

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

171 171 166 296 0 367 0 172 315

N.S.

1 1.00 0.97 1.73 0.00 2.15 0.00 1.01 1.84

time (sec)

N/A 0.107 0.303 0.072 0.000 0.386 0.000 3.913 5.313

Problem 921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

153 153 132 247 0 303 0 134 193

N.S.

1 1.00 0.86 1.61 0.00 1.98 0.00 0.88 1.26

time (sec)

N/A 0.094 0.232 0.045 0.000 0.399 0.000 3.912 4.639

Problem 922

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 103 139 0 237 0 98 87

N.S.

1 1.00 0.95 1.29 0.00 2.19 0.00 0.91 0.81

time (sec)

N/A 0.056 0.199 0.039 0.000 0.366 0.000 3.953 4.520

Problem 923

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 85 101 0 197 0 76 72

N.S.

1 1.00 1.02 1.22 0.00 2.37 0.00 0.92 0.87

time (sec)

N/A 0.038 0.142 0.035 0.000 0.367 0.000 3.708 4.622

Problem 924

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 104 91 0 566 0 0 88

N.S.

1 1.00 0.95 0.83 0.00 5.19 0.00 0.00 0.81

time (sec)

N/A 0.073 0.168 0.030 0.000 0.378 0.000 0.000 4.423

Problem 925

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 107 140 0 601 0 148 91

N.S.

1 1.00 0.96 1.25 0.00 5.37 0.00 1.32 0.81

time (sec)

N/A 0.074 0.167 0.046 0.000 0.398 0.000 4.001 4.553

Problem 926

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 88 193 0 215 0 241 -1

N.S.

1 1.00 1.00 2.19 0.00 2.44 0.00 2.74 -0.01

time (sec)

N/A 0.050 0.235 0.045 0.000 0.387 0.000 4.517 0.000

Problem 927

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 108 222 0 261 0 359 -1

N.S.

1 1.00 0.93 1.91 0.00 2.25 0.00 3.09 -0.01

time (sec)

N/A 0.067 0.413 0.052 0.000 0.381 0.000 4.362 0.000

Problem 928

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

161 161 141 387 0 325 0 617 -1

N.S.

1 1.00 0.88 2.40 0.00 2.02 0.00 3.83 -0.01

time (sec)

N/A 0.102 0.501 0.058 0.000 0.421 0.000 3.620 0.000

Problem 929

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

199 199 176 442 0 389 0 842 -1

N.S.

1 1.00 0.88 2.22 0.00 1.95 0.00 4.23 -0.01

time (sec)

N/A 0.159 0.676 0.076 0.000 0.446 0.000 5.502 0.000

Problem 930

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

395 395 538 476 0 0 0 0 -1

N.S.

1 1.00 1.36 1.21 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.173 8.175 0.047 0.000 0.000 0.000 0.000 0.000

Problem 931

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

342 342 479 417 0 0 0 0 -1

N.S.

1 1.00 1.40 1.22 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.095 7.016 0.036 0.000 0.000 0.000 0.000 0.000

Problem 932

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

309 309 445 379 0 0 0 0 -1

N.S.

1 1.00 1.44 1.23 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.067 6.380 0.047 0.000 0.000 0.000 0.000 0.000

Problem 933

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

303 303 435 381 0 0 0 0 -1

N.S.

1 1.00 1.44 1.26 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.059 10.539 0.037 0.000 0.000 0.000 0.000 0.000

Problem 934

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

341 341 459 404 0 0 0 0 -1

N.S.

1 1.00 1.35 1.18 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.100 10.588 0.040 0.000 0.000 0.000 0.000 0.000

Problem 935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

397 397 530 452 0 0 0 0 -1

N.S.

1 1.00 1.34 1.14 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.167 10.877 0.046 0.000 0.000 0.000 0.000 0.000

Problem 936

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

223 223 220 534 0 535 0 669 -1

N.S.

1 1.00 0.99 2.39 0.00 2.40 0.00 3.00 -0.00

time (sec)

N/A 0.140 0.657 0.064 0.000 0.399 0.000 2.818 0.000

Problem 937

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 194 432 0 451 0 535 -1

N.S.

1 1.00 0.95 2.12 0.00 2.21 0.00 2.62 -0.00

time (sec)

N/A 0.122 0.531 0.059 0.000 0.363 0.000 6.515 0.000

Problem 938

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 140 316 0 361 0 414 223

N.S.

1 1.00 0.93 2.11 0.00 2.41 0.00 2.76 1.49

time (sec)

N/A 0.083 0.371 0.052 0.000 0.386 0.000 5.469 4.880

Problem 939

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 110 242 0 297 0 317 115

N.S.

1 1.00 0.89 1.95 0.00 2.40 0.00 2.56 0.93

time (sec)

N/A 0.057 0.307 0.045 0.000 0.352 0.000 4.695 4.965

Problem 940

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

155 155 142 192 0 727 0 0 -1

N.S.

1 1.00 0.92 1.24 0.00 4.69 0.00 0.00 -0.01

time (sec)

N/A 0.120 0.464 0.039 0.000 0.460 0.000 0.000 0.000

Problem 941

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 132 170 0 713 0 0 -1

N.S.

1 1.00 0.88 1.13 0.00 4.75 0.00 0.00 -0.01

time (sec)

N/A 0.120 0.491 0.091 0.000 0.423 0.000 0.000 0.000

Problem 942

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 131 174 0 713 0 302 -1

N.S.

1 1.00 0.87 1.15 0.00 4.72 0.00 2.00 -0.01

time (sec)

N/A 0.110 0.508 0.066 0.000 0.428 0.000 4.865 0.000

Problem 943

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 148 202 0 771 0 412 -1

N.S.

1 1.00 0.91 1.24 0.00 4.73 0.00 2.53 -0.01

time (sec)

N/A 0.122 0.683 0.067 0.000 0.409 0.000 4.867 0.000

Problem 944

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 120 260 0 319 0 606 -1

N.S.

1 1.00 0.90 1.95 0.00 2.40 0.00 4.56 -0.01

time (sec)

N/A 0.077 0.683 0.065 0.000 0.416 0.000 4.253 0.000

Problem 945

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

162 162 160 337 0 383 0 832 -1

N.S.

1 1.00 0.99 2.08 0.00 2.36 0.00 5.14 -0.01

time (sec)

N/A 0.098 0.973 0.075 0.000 0.467 0.000 3.181 0.000

Problem 946

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

216 216 201 457 0 473 0 1235 -1

N.S.

1 1.00 0.93 2.12 0.00 2.19 0.00 5.72 -0.00

time (sec)

N/A 0.141 1.355 0.088 0.000 0.543 0.000 3.415 0.000

Problem 947

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

495 495 657 674 0 0 0 0 -1

N.S.

1 1.00 1.33 1.36 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.280 11.461 0.048 0.000 0.000 0.000 0.000 0.000

Problem 948

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

443 443 602 545 0 0 0 0 -1

N.S.

1 1.00 1.36 1.23 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.168 11.229 0.045 0.000 0.000 0.000 0.000 0.000

Problem 949

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

381 381 533 471 0 0 0 0 -1

N.S.

1 1.00 1.40 1.24 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.140 10.063 0.041 0.000 0.000 0.000 0.000 0.000

Problem 950

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

361 361 505 430 0 0 0 0 -1

N.S.

1 1.00 1.40 1.19 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.118 10.825 0.044 0.000 0.000 0.000 0.000 0.000

Problem 951

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

353 353 473 428 0 0 0 0 -1

N.S.

1 1.00 1.34 1.21 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.100 10.589 0.049 0.000 0.000 0.000 0.000 0.000

Problem 952

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

400 400 527 450 0 0 0 0 -1

N.S.

1 1.00 1.32 1.12 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.151 10.877 0.052 0.000 0.000 0.000 0.000 0.000

Problem 953

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

447 447 572 495 0 0 0 0 -1

N.S.

1 1.00 1.28 1.11 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.246 11.037 0.056 0.000 0.000 0.000 0.000 0.000

Problem 954

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

48 48 59 114 0 24 0 0 -1

N.S.

1 1.00 1.23 2.38 0.00 0.50 0.00 0.00 -0.02

time (sec)

N/A 0.026 4.037 0.038 0.000 0.078 0.000 0.000 0.000

Problem 955

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 101 162 0 241 0 103 -1

N.S.

1 1.00 0.83 1.34 0.00 1.99 0.00 0.85 -0.01

time (sec)

N/A 0.071 0.222 0.043 0.000 0.363 0.000 3.169 0.000

Problem 956

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 91 116 0 203 0 82 -1

N.S.

1 1.00 0.88 1.12 0.00 1.95 0.00 0.79 -0.01

time (sec)

N/A 0.057 0.182 0.039 0.000 0.374 0.000 4.135 0.000

Problem 957

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 70 56 0 161 0 61 55

N.S.

1 1.00 1.03 0.82 0.00 2.37 0.00 0.90 0.81

time (sec)

N/A 0.034 0.115 0.039 0.000 0.369 0.000 4.792 4.428

Problem 958

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 41 35 0 118 0 40 34

N.S.

1 1.00 0.95 0.81 0.00 2.74 0.00 0.93 0.79

time (sec)

N/A 0.020 0.073 0.036 0.000 0.347 0.000 4.956 4.690

Problem 959

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 41 39 0 124 0 38 44

N.S.

1 1.00 0.93 0.89 0.00 2.82 0.00 0.86 1.00

time (sec)

N/A 0.024 0.071 0.024 0.000 0.359 0.000 5.652 4.441

Problem 960

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 72 63 0 179 0 114 56

N.S.

1 1.00 1.00 0.88 0.00 2.49 0.00 1.58 0.78

time (sec)

N/A 0.039 0.138 0.043 0.000 0.348 0.000 5.532 4.484

Problem 961

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 91 127 0 221 0 221 -1

N.S.

1 1.00 0.84 1.18 0.00 2.05 0.00 2.05 -0.01

time (sec)

N/A 0.067 0.221 0.049 0.000 0.394 0.000 5.580 0.000

Problem 962

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 110 176 0 265 0 335 -1

N.S.

1 1.00 0.76 1.21 0.00 1.83 0.00 2.31 -0.01

time (sec)

N/A 0.106 0.358 0.050 0.000 0.418 0.000 4.319 0.000

Problem 963

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

313 313 444 388 0 0 0 0 -1

N.S.

1 1.00 1.42 1.24 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.072 10.610 0.034 0.000 0.000 0.000 0.000 0.000

Problem 964

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

267 267 278 216 0 0 0 0 -1

N.S.

1 1.00 1.04 0.81 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.044 10.085 0.021 0.000 0.000 0.000 0.000 0.000

Problem 965

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 186 144 0 120 0 0 -1

N.S.

1 1.00 1.63 1.26 0.00 1.05 0.00 0.00 -0.01

time (sec)

N/A 0.009 10.063 0.020 0.000 0.081 0.000 0.000 0.000

Problem 966

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

294 294 298 239 0 0 0 0 -1

N.S.

1 1.00 1.01 0.81 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.077 10.336 0.033 0.000 0.000 0.000 0.000 0.000

Problem 967

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

345 345 459 413 0 0 0 0 -1

N.S.

1 1.00 1.33 1.20 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.105 10.593 0.038 0.000 0.000 0.000 0.000 0.000

Problem 968

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 107 168 153 249 0 112 -1

N.S.

1 1.00 0.86 1.35 1.23 2.01 0.00 0.90 -0.01

time (sec)

N/A 0.072 10.068 0.067 0.501 0.367 0.000 4.313 0.000

Problem 969

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 89 120 105 211 0 91 -1

N.S.

1 1.00 0.83 1.12 0.98 1.97 0.00 0.85 -0.01

time (sec)

N/A 0.064 10.041 0.043 0.500 0.378 0.000 3.835 0.000

Problem 970

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 394 58 50 169 0 70 62

N.S.

1 1.00 5.63 0.83 0.71 2.41 0.00 1.00 0.89

time (sec)

N/A 0.036 2.115 0.036 0.503 0.354 0.000 3.736 4.593

Problem 971

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 124 36 28 124 0 45 40

N.S.

1 1.00 2.82 0.82 0.64 2.82 0.00 1.02 0.91

time (sec)

N/A 0.021 0.148 0.022 0.494 0.365 0.000 3.218 4.789

Problem 972

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 44 45 36 129 0 36 52

N.S.

1 1.00 0.94 0.96 0.77 2.74 0.00 0.77 1.11

time (sec)

N/A 0.028 0.079 0.031 0.493 0.352 0.000 3.535 4.520

Problem 973

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 76 74 62 188 0 111 64

N.S.

1 1.00 0.99 0.96 0.81 2.44 0.00 1.44 0.83

time (sec)

N/A 0.041 0.128 0.045 0.505 0.356 0.000 7.402 4.546

Problem 974

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 95 149 126 230 0 224 -1

N.S.

1 1.00 0.83 1.30 1.10 2.00 0.00 1.95 -0.01

time (sec)

N/A 0.071 0.208 0.049 0.523 0.398 0.000 9.121 0.000

Problem 975

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

154 154 114 202 179 272 0 344 -1

N.S.

1 1.00 0.74 1.31 1.16 1.77 0.00 2.23 -0.01

time (sec)

N/A 0.115 0.319 0.052 0.484 0.407 0.000 7.702 0.000

Problem 976

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

409 409 459 391 0 0 0 0 -1

N.S.

1 1.00 1.12 0.96 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.406 10.522 0.043 0.000 0.000 0.000 0.000 0.000

Problem 977

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

377 377 271 217 0 0 0 0 -1

N.S.

1 1.00 0.72 0.58 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.173 10.090 0.025 0.000 0.000 0.000 0.000 0.000

Problem 978

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

169 169 177 145 0 126 0 0 -1

N.S.

1 1.00 1.05 0.86 0.00 0.75 0.00 0.00 -0.01

time (sec)

N/A 0.043 10.072 0.020 0.000 0.084 0.000 0.000 0.000

Problem 979

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

408 408 283 241 0 0 0 0 -1

N.S.

1 1.00 0.69 0.59 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.228 10.283 0.037 0.000 0.000 0.000 0.000 0.000

Problem 980

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

445 445 472 417 0 0 0 0 -1

N.S.

1 1.00 1.06 0.94 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.329 10.488 0.041 0.000 0.000 0.000 0.000 0.000

Problem 981

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

190 190 166 354 0 591 0 215 -1

N.S.

1 1.00 0.87 1.86 0.00 3.11 0.00 1.13 -0.01

time (sec)

N/A 0.161 0.621 0.072 0.000 0.443 0.000 5.021 0.000

Problem 982

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

134 134 131 264 0 459 0 154 -1

N.S.

1 1.00 0.98 1.97 0.00 3.43 0.00 1.15 -0.01

time (sec)

N/A 0.077 0.449 0.063 0.000 0.406 0.000 8.476 0.000

Problem 983

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 96 149 0 387 0 101 84

N.S.

1 1.00 0.83 1.30 0.00 3.37 0.00 0.88 0.73

time (sec)

N/A 0.062 0.369 0.033 0.000 0.405 0.000 10.241 4.765

Problem 984

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 36 38 0 67 0 44 37

N.S.

1 1.00 1.00 1.06 0.00 1.86 0.00 1.22 1.03

time (sec)

N/A 0.020 0.242 0.029 0.000 0.368 0.000 7.038 4.474

Problem 985

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 37 36 0 67 0 45 35

N.S.

1 1.00 1.03 1.00 0.00 1.86 0.00 1.25 0.97

time (sec)

N/A 0.015 0.244 0.032 0.000 0.397 0.000 3.078 4.362

Problem 986

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 124 99 0 389 0 110 -1

N.S.

1 1.00 1.39 1.11 0.00 4.37 0.00 1.24 -0.01

time (sec)

N/A 0.054 0.384 0.042 0.000 0.404 0.000 3.236 0.000

Problem 987

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

139 139 127 195 0 485 0 200 -1

N.S.

1 1.00 0.91 1.40 0.00 3.49 0.00 1.44 -0.01

time (sec)

N/A 0.090 0.513 0.079 0.000 0.398 0.000 5.175 0.000

Problem 988

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 166 314 0 615 0 350 -1

N.S.

1 1.00 0.85 1.61 0.00 3.15 0.00 1.79 -0.01

time (sec)

N/A 0.147 0.695 0.093 0.000 0.455 0.000 5.005 0.000

Problem 989

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

408 408 489 482 0 0 0 0 -1

N.S.

1 1.00 1.20 1.18 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.141 10.902 0.038 0.000 0.000 0.000 0.000 0.000

Problem 990

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

342 342 452 450 0 0 0 0 -1

N.S.

1 1.00 1.32 1.32 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.095 10.543 0.033 0.000 0.000 0.000 0.000 0.000

Problem 991

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

341 341 437 446 0 0 0 0 -1

N.S.

1 1.00 1.28 1.31 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.090 10.503 0.047 0.000 0.000 0.000 0.000 0.000

Problem 992

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

353 353 456 481 0 0 0 0 -1

N.S.

1 1.00 1.29 1.36 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.083 10.549 0.031 0.000 0.000 0.000 0.000 0.000

Problem 993

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

428 428 515 536 0 0 0 0 -1

N.S.

1 1.00 1.20 1.25 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.138 10.864 0.085 0.000 0.000 0.000 0.000 0.000

Problem 994

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 34 37 34 30 0 48 33

N.S.

1 1.00 0.68 0.74 0.68 0.60 0.00 0.96 0.66

time (sec)

N/A 0.041 0.008 0.115 0.304 0.324 0.000 3.760 4.604

Problem 995

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 74 64 52 114 0 59 53

N.S.

1 1.00 1.28 1.10 0.90 1.97 0.00 1.02 0.91

time (sec)

N/A 0.052 0.017 0.130 0.278 0.395 0.000 4.113 4.613

Problem 996

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 22 22 26 13 20 0 28 20

N.S.

1 1.00 1.00 1.18 0.59 0.91 0.00 1.27 0.91

time (sec)

N/A 0.011 0.003 0.139 0.295 0.391 0.000 4.480 4.369

Problem 997

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 52 44 32 74 0 38 33

N.S.

1 1.00 1.68 1.42 1.03 2.39 0.00 1.23 1.06

time (sec)

N/A 0.031 0.009 0.128 0.312 0.346 0.000 4.776 4.563

Problem 998

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 52 50 0 80 0 46 -1

N.S.

1 1.00 1.73 1.67 0.00 2.67 0.00 1.53 -0.03

time (sec)

N/A 0.006 0.007 0.126 0.000 0.340 0.000 4.189 0.000

Problem 999

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 23 26 21 21 0 34 21

N.S.

1 1.00 1.00 1.13 0.91 0.91 0.00 1.48 0.91

time (sec)

N/A 0.024 0.006 0.128 0.283 0.347 0.000 4.140 4.315

Problem 1000

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 76 73 0 133 0 55 76

N.S.

1 1.00 1.29 1.24 0.00 2.25 0.00 0.93 1.29

time (sec)

N/A 0.034 0.016 0.133 0.000 0.366 0.000 4.894 4.637

[next] [prev] [prev-tail] [front] [up]